Sfoglia per Serie LECTURE NOTES IN COMPUTER SCIENCE
Selection and ranking of activities in the social web
2013-01-01 Ilaria Lombardi; Silvia Likavec; Claudia Picardi; Elisa Chiabrando
Self-monitoring and Technology: Challenges and Open Issues in Personal Informatics
2014-01-01 Amon Rapp; Federica Cena
Semi-formal models to support program development: Autonomic management within component based parallel and distributed programming
2009-01-01 Marco Aldinucci; Marco Danelutto; Peter Kilpatrick
A Semi-supervised Approach to Measuring User Privacy in Online Social Networks
2016-01-01 Pensa, R.G.; Di Blasi, G.
Service-Oriented Justification of Recommender System Suggestions
2021-01-01 Noemi Mauro; Zhongli Filippo Hu; Liliana Ardissono
Session and Union Types for Object Oriented Programming
2008-01-01 Lorenzo Bettini; Sara Capecchi; Mariangiola Dezani; Elena Giachino; Betti Venneri
Session Types for Access and Information Flow Control
2010-01-01 Sara Capecchi; Ilaria Castellani; Mariangiola Dezani; Tamara Rezk
Sessions and Session Types: an Overview
2010-01-01 Mariangiola Dezani-Ciancaglini; Ugo de’Liguoro
SimpleHypergraphs.jl—novel software framework for modelling and analysis of hypergraphs
2019-01-01 Antelmi A.; Cordasco G.; Kaminski B.; Pralat P.; Scarano V.; Spagnuolo C.; Szufel P.
Simulation and Bisimulation for Probabilistic Timed Automata
2010-01-01 J. SPROSTON; A. TROINA
Simulation of Gaussian Processes and First Passage Time Densities Evaluation
2000-01-01 DI NARDO, Elvira; Nobile, A. G.; Pirozzi, E.; Ricciardi, L. M.; Rinaldi, S.
Skipping and Fetching: Insights on Non-conventional Product-Form Solutions
2023-01-01 Olliaro Diletta; Balbo Gianfranco; Marin Andrea; Sereno Matteo
Smooth Orchestrators
2006-01-01 Laneve, C.; Padovani, Luca
SNexpression: A Symbolic Calculator for Symmetric Net Expressions
2020-01-01 Capra L.; De Pierro M.; Franceschinis G.
Solving Chance-Constrained Programs combining Tabu Search and Simulation
2004-01-01 R. ARINGHIERI
Solving Parity Games on Integer Vectors
2013-01-01 P. A. ABDULLA; R. MAYR; A. SANGNIER; J. SPROSTON
Some Thoughts about Commitment Protocols (Position Paper)
2013-01-01 Matteo Baldoni; Cristina Baroglio
Soundness Conditions for Big-Step Semantics
2020-01-01 Dagnino F.; Bono V.; Zucca E.; Dezani-Ciancaglini M.
Space-time universality of field calculus
2018-01-01 Audrito, Giorgio; Beal, Jacob; Damiani, Ferruccio; Viroli, Mirko
Splitting Recursion Schemes into Reversible and Classical Interacting Threads
2021-01-01 Armando Matos; Paolini Luca; Roversi Luca
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile